منابع مشابه
Mind Perception Is the Essence of Morality
Mind perception entails ascribing mental capacities to other entities, whereas moral judgment entails labeling entities as good or bad or actions as right or wrong. We suggest that mind perception is the essence of moral judgment. In particular, we suggest that moral judgment is rooted in a cognitive template of two perceived minds-a moral dyad of an intentional agent and a suffering moral pati...
متن کاملThe Essence of Morality: A Teleological-Formalist Conception of Moral Progress
This thesis considers the problem of how people should deal with moral change. I examine various conceptions of morality and induce the essence of morality, or the set of formal features that is fundamental to all moralities. In particular, I claim that the essence of morality consists of four features: (1) it performs some function (namely, solving the problem of cooperation); (2) it is prescr...
متن کاملThe Essence of JavaScript
We reduce JavaScript to a core calculus structured as a small-step operational semantics. We present several peculiarities of the language and show that our calculus models them. We explicate the desugaring process that turns JavaScript programs into ones in the core. We demonstrate faithfulness to JavaScript using real-world test suites. Finally, we illustrate utility by defining a security pr...
متن کاملThe Essence of Multitasking
This article demonstrates how a powerful and expressive abstraction from concurrency theory—monads of resumptions—plays a dual rôle as a programming tool for concurrent applications. The article demonstrates how a wide variety of typical OS behaviors may be specified in terms of resumption monads known heretofore exclusively in the literature of programming language semantics. We illustrate the...
متن کاملThe essence of ornaments
Functional programmers from all horizons strive to use, and sometimes abuse, their favorite type system in order to capture the invariants of their programs. A widely-used tool in that trade consists in defining finely-indexed datatypes. Operationally, these types classify the programmer’s data, following the ML tradition. Logically, these types enforce the program invariants in a novel manner....
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: European Review
سال: 2013
ISSN: 1062-7987,1474-0575
DOI: 10.1017/s106279871300015x